<?php

class empleadostipoPeer extends BaseempleadostipoPeer
{
}
